fingerTest is package{

  import fingers;
  
  main() do {
    T is emptyFinger;
  }
}